Définition pour : Philippon Th.
Pour plus de détails, voir le paragraphe 35.7 et 50.13 du Vernimmen 2021.